Parameter synthesis of polynomial dynamical systems
نویسندگان
چکیده
Parametric dynamical systems emerge as a formalism for modeling natural and engineered ranging from biology, epidemiology, medicine to cyber-physics. Parameter tuning is complex task usually performed exploiting heavy simulations having high computational complexity not ensuring the correctness of synthesized systems. We consider problem parameter synthesis discrete-time polynomial propose formal method based on Bernstein coefficients that allows refining set parameters according temporal specification defined Signal Temporal Logic formula. The system correct with respect we demonstrate scalability approach by implementing it in C++ library Sapo, also available within stand-alone application web application. Finally, illustrate tool usage interface through simple yet realistic epidemiological model an intriguing enhancing accuracy verification neural networks.
منابع مشابه
On Two-parameter Dynamical Systems and Applications
In this note some useful properties of strongly continuous two-parameter semigroups of operators are studied, an exponential formula for two-parameter semigroups of operators on Banach spaces is obtained and some applied examples of two-parameter dynamical systems are discussed
متن کاملParameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor changes in initial conditions or parameters can lead to radically different behaviors. This is problematic because in general it is never possible to know/measure the precise state of any biological system due to mea...
متن کاملobservational dynamical systems
چکیده در این پایاننامه ابتدا فضاهای متریک فازی را به صورت مشاهدهگرایانه بررسی میکنیم. فضاهای متریک فازی و توپولوژی تولید شده توسط این متریک معرفی شدهاند. سپس بر اساس فضاهایی که در فصل اول معرفی شدهاند آشوب توپولوژیکی، مینیمالیتی و مجموعههای متقاطع در شیوههای مختلف بررسی شده- اند. در فصل سوم مفهوم مجموعههای جاذب فازی به عنوان یک مفهوم پایهای در سیستمهای نیم-دینامیکی نسبی، تعریف شده است. ...
15 صفحه اولon two-parameter dynamical systems and applications
in this note some useful properties of strongly continuous two-parameter semigroups of operators are studied, an exponential formula for two-parameter semigroups of operators on banach spaces is obtained and some applied examples of two-parameter dynamical systems are discussed
متن کاملjordan c-dynamical systems
in the first chapter we study the necessary background of structure of commutators of operators and show what the commutator of two operators on a separable hilbert space looks like. in the second chapter we study basic property of jb and jb-algebras, jc and jc-algebras. the purpose of this chapter is to describe derivations of reversible jc-algebras in term of derivations of b (h) which are we...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information & Computation
سال: 2022
ISSN: ['0890-5401', '1090-2651']
DOI: https://doi.org/10.1016/j.ic.2022.104941